Publications of
Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms
In : Fundamenta Informaticae, Vol. 37, pp. 1-30, 1999.
Salem Benferhat, Daniel Le Berre, Gerhard Brewka
Qualitative choice logic
In : Proc. of the 8th International conference, Principles of Knowledge Representation and Reasoning (KR2002), Toulouse-France, 22/04/02-25/04/02, Morgan Kaufmann Publishers, San Francisco, California, pp. 158-169, April 2002.
Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Sylvie Coste-Marquis
Résolution de formules booléennes quantifiées : problèmes et algorithmes
In : Actes du 13ème Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, AFRIF-AFIA, Charvet Imprimeur, pp. 289-298, January 2002.
Salem Benferhat, Souhila Kaci, Daniel Le Berre, Mary-Anne Williams
Weakening conflicting information for iterated revision and knowledge integration
In : Proc. of the 17th International Joint Conference on Artificial Intelligence(IJCAI01), Seattle-USA, 04/08/01-10/08/01, Morgan Kaufmann Publishers, pp. 109-115, August 2001.
Jean-Paul Bodeveix, Mamoun Filali, Daniel Le Berre
Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique
In : Journées de VERIFICATION FORMELLE, ORLEANS, 08/06/00-09/06/00.
URL : http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/
BibTeXThierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Modèles P-restreints : Applications à l’Inference Propositionnelle.
In : Congrès Reconnaissance des Formes et Intelligence Artificielle RFIA’98, Clermont-Ferrand, 20/01/98-22/01/98, AFCET, Paris, pp. 205-214, January 1998.
Didier Dubois, Daniel Le Berre, Henri Prade, Régis Sabbadin
Logical representation and computation of optimal decisions in a qualitative setting
In : 15th National Conference on Artifical Intelligence (AAAI-98), Madison, WI., AAAI Press, Menlo Park, California, pp. 588-593, July 1998.
Daniel Le Berre, Régis Sabbadin
Decision-theoretic diagnosis and repair: representational and computational issues
In : Eighth International Workshop on Principles of Diagnosis (DX’97), Le Mont-Saint-Michel, France, 14/09/97-18/09/97, -, pp. 141-145, September 1997.
Utiliser la procédure de Davis et Putnam pour un calcul efficace de modéles préférés
In : Rencontres Nationales Jeunes Chercheurs en Intelligence Artificielle RCJIA’96, –, 28/08/96-31/08/96, Association Française pour l’Intelligence Artificielle AFIA, Paris, pp. 127-133, August 1996.
Leila Amgoud, Claudette Cayrol, Daniel Le Berre
Comparing Arguments using Preference Orderings for Argument-based Reasoning
In : IEEE International Conference on Tools with Artificial Intelligence TAI’96, Toulouse France, 16/11/96-19/11/96, IEEE Computer Society Press, Los Alamitos, California, pp. 400-403, November 1996.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam procedure for an efficient computation of preferred models
In : Proc. 12th European Conference on Artificial Intelligence ECAI’96, Budapest Hungary, 11/08/96-16/08/96, John Wiley & Sons, New York, pp. 350-354, August 1996.
Autour de SAT: le calcul d’impliquants P-restreints, algorithmes et applications
Master’s Thesis, Université Paul Sabatier, January 2000.